Pushdown automaton - PDFSEARCH.IO - Document Search Engine

Pushdown automaton
Results: 134

#	Item
111	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
112	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic
113	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
114	Deterministic Pushdown Automata 237 Deterministic PDA (DPDA) A PDA P = (Q, Σ, Γ, δ, q0 , Z0 , F ) is deterministic if and only if Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2005-10-18 14:54:39 Models of computation Computer science Applied mathematics Deterministic pushdown automaton Regular language Regular expression Context-free language Automata theory Formal languages Theoretical computer science
115	EPDA Taking the next step with Easysite Case Study Background Add to Reading List Source URL: www.easysitecms.net Language: English - Date: 2012-11-06 11:18:43 Website Embedded pushdown automaton Web content Web development Digital media Software Content management systems World Wide Web Web content management system
116	1 Book Title Book Editors IOS Press, 2003 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:25 Applied mathematics Computer science Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Nested word Automata theory Models of computation Theoretical computer science
117	Deciding DPDA Equivalence is Primitive Recursive Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:52:43 Symbol Pushdown automaton Constructible universe Ordinal number Automata theory Models of computation Deterministic pushdown automaton
118	Language Theory and Innite Graphs Colin Stirling S hool of Informati s Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:17 Applied mathematics Mathematics Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Models of computation Automata theory Theoretical computer science
119	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science
120	1 Language Theory and Infinite Graphs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-02 08:38:30 Logic in computer science Deterministic pushdown automaton Constructible universe Symbol Bisimulation Computer science Theoretical computer science Automata theory Applied mathematics